﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace RWLibrary.Parser
{


    public class StatementToken
    {

        public int kind; // kod tokenu
        public string val; // wartość leksykalna tokenu


        public StatementToken(int k, string v)
        {
            kind = k;
            val = v;
        }

        public const int Error = -1;
        public const int Eof = 0;
        public const int Endl = 1;
        public const int Number = 2;
        public const int Ident = 3;
        public const int Negation = 4;
        public const int Or = 5;
        public const int And = 6;
        public const int Implication = 7;
        public const int Iif = 8;
        public const int Open_par = 9;
        public const int Close_par = 10;
        public const int After = 11;
        public const int Always = 12;
        public const int Causes = 13;
        public const int Cost = 14;
        public const int If = 15;
        public const int Initially = 16;
        public const int Impossible = 17;
        public const int Observable = 18;
        public const int Releases = 19;
        public const int With = 20;
    }

}
